2013.06_Theoretical Basis for making Equivalent Transformation Rules from Logical Equivalences for Program Synthesis.pdf (229.5 kB)
sha256
3424921211fb5891964b66a970e0acadca3f12e66db2cbaa8cfed3a68bd0a663
|
|
2013.06_Theoretical Basis for making Equivalent Transformation Rules from Logical Equivalences for Program Synthesis.pdf
3c4d246a-b0ad-45f0-8a56-ad183ffdf47b
https://kitami-it.repo.nii.ac.jp/record/7951/files/2013.06_Theoretical Basis for making Equivalent Transformation Rules from Logical Equivalences for Program Synthesis.pdf